intuitive consistency

См. также в других словарях:

• Logical Intuitive Extrovert — The Logical Intuitive Extrovert, LIE, ENTj, the Enterpriser, the Entrepreneur, Jack London, or types. The Logical Intuitive Extrovert is a rational, extroverted, dynamic type whose leading functions are extroverted logic and introverted intuition …   Wikipedia

• Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… …   Wikipedia

• metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

• set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium

• History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• Internal set theory — (IST) is a mathematical theory of sets developed by Edward Nelson which provides an axiomatic basis for a portion of the non standard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, the axioms… …   Wikipedia

• Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… …   Wikipedia

• Criteria of truth — In epistemology, criteria of truth (or tests of truth) are standards and rules used to judge the accuracy of statements and claims. They are tools of verification. Understanding a philosophy s criteria of truth is fundamental to a clear… …   Wikipedia

• Database — A database is an organized collection of data for one or more purposes, usually in digital form. The data are typically organized to model relevant aspects of reality (for example, the availability of rooms in hotels), in a way that supports… …   Wikipedia